Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee masFocusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character ...
Lee masThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Lee masThis book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
Lee masThe primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
Lee masThis book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th ...
Lee masThis book - in conjunction with the two volumes CCIS 0015 and LNAI 5226 - constitutes the refereed proceedings of the 4th ...
Lee masThis book constitutes the refereed proceedings of the 11th Ibero-American Conference on Artificial Intelligence, IBERAMIA ...
Lee masThis book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held ...
Lee masThe two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ...
Lee masThe two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ...
Lee masThis tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software ...
Lee masThe two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual ...
Lee masThe two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual ...
Lee masThis volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...
Lee masThis book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
Lee masThis book constitutes the reviewed proceedings of the Fourth International Workshop on Algorithmic Aspects of Wireless Sensor ...
Lee masThis book constitutes the refereed proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, ...
Lee masThis book constitutes the refereed proceedings of the 8th International Conference on Algorithms and Architectures for Parallel ...
Lee masThis book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical ...
Lee mas